Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("RASIOWA H")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 14 of 14

  • Page / 1
Export

Selection :

  • and

In Memory of Andrzej MostowskiRASIOWA H.Studia Logica. 1977, Vol 36, Num 1-2, pp 1-3Article

Mixed-Valued Predicate CalculiRASIOWA H.Studia Logica. 1975, Vol 34, Num 3, pp 215-234Article

ROMAN SIKORSKI EN POLONAISRASIOWA H.NAUKA POL. 1972, Vol 20, Num 4, pp 70-75Article

THE CRAIG INTERPOLATION THEOREM FOR M-VALUED PREDICATE CALCULIRASIOWA H.1972; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1972; VOL. 20; NO 5; PP. 341-346; ABS. RUSSE; BIBL. 7 REF.Serial Issue

A SIMPLIFIED FORMALIZATION OF OMEGA +-VALUED ALGORITHMIC LOGIC (A FORMALIZED THEORY OF PROGRAMS).RASIOWA H.1974; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1974; VOL. 22; NO 6; PP. 595-603; ABS. RUSSE; BIBL. 13 REF.Article

EXTENDED OMEGA +-VALUED ALGORITHMIC LOGIC. A FORMALIZED THEORY OF PROGRAMS WITH RECURSIVE PROCEDURES.RASIOWA H.1974; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1974; VOL. 22; NO 6; PP. 605-610; BIBL. 15 REF.Article

ON GENERALIZED POST ALGEBRAS OF ORDER OMEGA + AND OMEGA + VALUED PREDICATE CALCULIRASIOWA H.1973; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1973; VOL. 21; NO 3; PP. 209-219; ABS. RUSSE; BIBL. 13 REF.Serial Issue

COMPLETENESS IN CLASSICAL LOGIC OF COMPLEX ALGORITHMSRASIOWA H.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 488-503; BIBL. 14 REF.Conference Paper

ALGORITHMIC LOGIC.RASIOWA H.1977; PRACE C.O.P.A.N.; POLSKA; DA. 1977; NO 281; PP. 1-205; ABS. RUSSE POL.; BIBL. 5 P.Serial Issue

INTRODUCTION TO MODERN MATHEMATICS.RASIOWA H.1973; AMSTERDAM; NORTH-HOLLAND PUBL. CO.; DA. 1973; PP. (351P.); ISBN 0720420679; TRAD. DU POL. (BIBL. MAT.)Book

Algorithmic Logic. Multiple-Valued ExtensionsRASIOWA, H.Studia Logica Warszawa. 1979, Vol 38, Num 4, pp 317-335Article

AN INTRODUCTION TO ALGORITHMIC LOGIC. METAMATHEMATICAL INVESTIGATIONS IN THE THEORY OF PROGRAMS.BANACHOWSKI L; KRECZMAR A; MIRKOWSKA G et al.1977; BANACH CENTER PUBL.; POLAND; DA. 1977; VOL. 2; PP. 7-99; BIBL. 2 P.Article

Approximating sets with equivalence relationsMAREK, W; RASIOWA, H.Theoretical computer science. 1986, Vol 48, Num 2-3, pp 145-152, issn 0304-3975Article

LT-fuzzy setsRASIOWA, H; CAT HO, N.Fuzzy sets and systems. 1992, Vol 47, Num 3, pp 323-339, issn 0165-0114Article

  • Page / 1